$\forall$$l$:(top List). sqequal(append($l$; []); $l$)